Nuprl Definition : subtract def
12,41
postcript
pdf
n
-
m
is Primitive
latex
origin